Composition-Diamond Lemma for Tensor Product of Free Algebras
نویسندگان
چکیده
In this paper, we establish Composition-Diamond lemma for tensor product k〈X〉⊗k〈Y 〉 of two free algebras over a field. As an application, we construct a GröbnerShirshov basis in k〈X〉 ⊗ k〈Y 〉 by lifting a Gröbner-Shirshov basis in k[X]⊗ k〈Y 〉, where k[X] is a commutative algebra.
منابع مشابه
Composition-Diamond Lemma for Differential Algebras
In this paper, we establish the Composition-Diamond lemma for free differential algebras. As applications, we give Gröbner-Shirshov bases for free Lie-differential algebras and free commutative-differential algebras, respectively.
متن کاملComposition-Diamond lemma for λ-differential associative algebras with multiple operators
In this paper, we establish the Composition-Diamond lemma for λ-differential associative algebras over a field K with multiple operators. As applications, we obtain Gröbner-Shirshov bases of free λ-differential Rota-Baxter algebras. In particular, linear bases of free λ-differential Rota-Baxter algebras are obtained and consequently, the free λ-differential Rota-Baxter algebras are constructed ...
متن کاملComposition-Diamond lemma for associative n-conformal algebras
In this paper, we study the concept of associative n-conformal algebra over a field of characteristic 0 and establish Composition-Diamond lemma for a free associative n-conformal algebra. As an application, we construct Gröbner-Shirshov bases for Lie n-conformal algebras presented by generators and defining relations.
متن کاملAnti-commutative Gröbner-Shirshov basis of a free Lie algebra
One of the natural ways to prove that the Hall words (Philip Hall, 1933) consist of a basis of a free Lie algebra is a direct construction: to start with a linear space spanned by Hall words, to define the Lie product of Hall words, and then to check that the product yields the Lie identities (Marshall Hall, 1950). Here we suggest another way using the Composition-Diamond lemma for free anti-co...
متن کاملPositive Cone in $p$-Operator Projective Tensor Product of Fig`a-Talamanca-Herz Algebras
In this paper we define an order structure on the $p$-operator projective tensor product of Herz algebras and we show that the canonical isometric isomorphism between $A_p(Gtimes H)$ and $A_p(G)widehat{otimes}^p A_p(H)$ is an order isomorphism for amenable groups $G$ and $H$.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008